English recursion in effective reasoning: תרגום לשפות אחרות